β 簡約
ラムダ計算と抽象機械と非同期ランタイム
https://gyazo.com/cf29d75d4c655e554b16694f72ca4345
warning.icon
簡約
（関数の適用）と
評価
は別もの
https://gyazo.com/c83140ca73fbff5b1e33b3ec8216d9b4